Infrared spectroscopy of the methanol cation and its methylene-oxonium isomer.