4-Methyl-1-cyclo-hexene-1-carboxylic acid AIDS-017602 AIDS017602