Isotopic studies of trans- and cis-HOCO using rotational spectroscopy: Formation, chemical bonding, and molecular structures.