(3-alpha,4-alpha,6-beta)-1,3-Dimethyl-4-ethynyl-6-(4-methylphenyl)-3,4-piperidinediol 120729-73-9 3,4-Piperidinediol, 1,3-dimethyl-4-ethynyl-6-(4-methylphenyl)-, (3-alpha,4-alpha,6-beta)- trans-1,3-Dimethyl-4-ethynyl-6-(4-methylphenyl)-3,4-piperidinediol