9-Oxoxanthene-2-carboxamide AIDS-080943 AIDS080943 Xanthone der.