6-Azabicyclo[3.2.1]oct-3-ene-6-carboxylic acid,7-[2-(1,3-dioxan-2-yl)ethylidene]-8-hydroxy-, 2-propen-1-yl ester,(1R,5R,7E,8R)-rel-