High-throughput mass spectrometric analysis of covalent protein-inhibitor adducts for the discovery of irreversible inhibitors: a complete workflow