Synonymescyclohexanol