AIDS-017608 AIDS017608 Cyclohexane-valeric acid