9-Oxoxanthenecarbonitrile AIDS-070071 AIDS070071 Xanthone der.