The infrared spectrum of He–HCO+