9-Oxoxanthenecarboxylic acid AIDS-070073 AIDS070073 Xanthone der.