AIDS-070642 AIDS070642 Diethyl 2-(pyrazin-2-ylcarbonylamino)butane-1,4-dioate Pyrazine der.