Infrared Spectrum of the Hydrated Proton in Water