Diels-Alder ligation of peptides and proteins.