HCN production from comet Halley