Peptide diversification through hypervalent iodine-mediated o-quinone chemistry | Synapse