Post-translational α-Keto-β-amino Acids: Chemical Reactivity and Protein Engineering