Infrared spectra and tautomerism of 5-fluorocytosine, 5-bromocytosine and 5-iodocytosine. Matrix isolation and theoretical AB initio studies