Proximity-enabled bioreactivity to generate covalent peptide inhibitors of p53-Mdm4.