(3-alpha,4-alpha,6-beta)-4-Ethynyl-3-methyl-6-phenyl-1-(phenylmethyl)-3,4-piperidinediol 3,4-Piperidinediol, 4-ethynyl-3-methyl-6-phenyl-1-(phenylmethyl)-, (3-alpha,4-alpha,6-beta)- 3a,4e-Dihydroxy-1-benzyl-3e-methyl-6e-phenyl-4a-ethynylpiperidine 84714-87-4