(+)-4β-<3-(ethoxycarbonyl)-2,2-(ethylenedioxy)propyl>-3α-((1R)-1-hydroxyethyl)azetidin-2-one