4442-79-9 AIDS-017539 AIDS017539 Cyclohexane-ethanol