site-selective incorporation and ligation of protein aldehydes genome-wide characterization of the aldehyde dehydrogenase gene carbocation catalysed ring closing aldehyde–olefin metathesis 三聚乙醛 paraldehyde glutaconic aldehyde dianilide (hydrochloride)