The warhead HMK carbonyl carbon of 4 forms a covalent bond to the 3CLpro active-site cysteine (Cys145) sulfur generating a tetrahedral carbinol complex (1.8 Å C–S bond length).