(3-alpha,4-alpha,6-beta)-1,3-Dimethyl-6-phenyl-4-(phenylethynyl)-3,4-piperidinediol 120729-75-1 3,4-Piperidinediol, 1,3-dimethyl-6-phenyl-4-(phenylethynyl)-, (3-alpha,4-alpha,6-beta)- BRN 3558889 trans-1,3-Dimethyl-4-(phenylethynyl)-6-phenyl-3,4-piperidinediol