trans-1-ethynyl-2,3-epoxycyclohexanol