Computational Rationalization of the Ring Transformation of 3-hydroxy-4-(1,2-dihydroxyethyl)-β-lactams