(4S,5R)-5-ethyl-4-((E)-2-iodovinyl)-2,2,4-trimethyl-1,3-dioxolane