9-Oxoxanthene-4-carbonitrile AIDS-080936 AIDS080936 Xanthone der.