2-Cyclohexen-1-one,6-[(1S)-2-(2,5-dihydro-3-methyl-1,1-dioxido-2-thienyl)-1-hydroxyethyl]-2-methyl-5-(1-methylethenyl)-, (5S,6S)-