9-Oxoxanthene-2,5-dicarboxamide AIDS-080945 AIDS080945 Xanthone der.