9-Oxoxanthene-3-carboxylic acid AIDS-080938 AIDS080938 Xanthone der.