AIDS-184858 AIDS184858 Cyclohexanebutanoic acid, a,g-dioxo-