9-Oxoxanthene-3-carbonitrile AIDS-070072 AIDS070072 Xanthone der.