9-Oxoxanthene-2,5-dicarboxylic acid AIDS-080939 AIDS080939 Xanthone der.