Chemoselective peptide cyclization by traceless Staudinger ligation.