Cyclohexanone,3-(1,3-dimethoxy-2-naphthalenyl)-2-iodo-4-[1-methyl-1-[(triethylsilyl)oxy]ethyl]-, (3R,4R)-rel-