1-ethynyl-cyclohexanethiol