Infrared spectra of isolated protonated polycyclic aromatic hydrocarbons: protonated naphthalene.