(2S,6S)-2-[(2-butyl-1,3-dioxolan-2-yl)ethynyl]-1-[(1S)-2-hydroxy-1-phenylethyl]-6-methylpiperidine