3-Cyclohexene-1-butanoic acid, 4-methyl-a,g-dioxo- AIDS-184845 AIDS184845