(3,5-~2~H_2_)cyclohexanol