High-resolution infrared spectrum of the ν3 band in Ar–HCO+