9-Oxoxanthene-4-carboxamide AIDS-080944 AIDS080944 Xanthone der.