Atmospheric distribution of HCN from satellite observations and 3-D model simulations