3-ethynyl-3-hydroxy-1-methylpiperidin-2-one