Pyrrolidine,3-[(1E,4R)-4-cyclohexyl-4-hydroxy-1-butenyl]-4-(1-methylethylidene)-1-[(4-methylphenyl)sulfonyl]-, (3R)-rel-