AIDS-017604 AIDS017604 Cyclohexane-propionic acid