7-Nitro-9-oxoxanthenecarboxylic acid AIDS-080952 AIDS080952 Xanthone der.