Theoretical study of the water-assisted aminolysis of beta-lactams: Implications for the reaction between human serum albumin and penicillins