Peptide ligation and semisynthesis