9-Oxoxanthene-4-carboxylic acid AIDS-070074 AIDS070074 Xanthone der.