I want to convert the hash of a pool in hexadecimal to pool1...
format
How can I do this?
The encoding is called Bech32.
I suspect that cardano-addresses can do this conversion.
You can do it with the bech32 command (which comez in the cardano-wallet package, if you don't already have it):
bech32 pool <<< <hex_pool_id>