7-Nitro-9-oxoxanthene-4-carboxylic acid AIDS-080954 AIDS080954 Xanthone der.