(-)-<1α,4α,7R*>-7-(iodomethyl)spirohept-5-ene-2,2'-<1,3>dioxolan>