1-Ethynyl-1-cyclohexanol