AIDS-017597 AIDS017597 Cyclohexane-hexone, octahydrate