Post-synthetic modification of DNA by inverse-electron-demand Diels-Alder reaction.