(3-alpha,4-beta,6-beta)-1,3-Dimethyl-4-ethynyl-6-(4-fluorophenyl)-3,4-piperidinediol 120729-81-9 3,4-Piperidinediol, 1,3-dimethyl-4-ethynyl-6-(4-fluorophenyl)-, (3-alpha,4-beta,6-beta)-