AIDS-018186 AIDS018186 alpha-Acetyl-gamma-(1-hydroxyethylidene)-beta-oxoglutaric acid, delta-lactone, potassium salt