AIDS-027752 AIDS027752 Cyclohexanecarboxylic acid, 2-(6-hydroxy-3-oxo-3H-xanthen-9-yl)-