9-Oxoxanthene-2-carboxylic acid AIDS-080937 AIDS080937 Xanthone der.