AIDS-070615 AIDS070615 Pyrazine der. Pyrazine-2,6-dicarboxamide