1-Cyclohexene-1-butanoic acid, a,g-dioxo- AIDS-184856 AIDS184856