A carbon–carbon bond formation reaction at the C-4 position of a β-lactam