Electrochemistry Enables O-Arylation of Tyrosine with Aminoisoxazoles: Late-Stage Diversification of Peptides and Pharmaceuticals | Synapse