Covalent Drug Development: Mass Spectrometry and PK/PD Modeling