1-Ethynyl-2,2,6-trimethylcyclohexanol