Enzymatic resolution of alicyclic β-lactams