1-Ethynyl-2,2,6,6-tetramethylcyclohexanol (HCID 15634911)|Huagongshe