hexahydrophenol; hexaline