Diene-modified nucleotides for the Diels–Alder-mediated functional tagging of DNA