9-Oxoxanthene-2-carbonitrile AIDS-080935 AIDS080935 Xanthone der.