AIDS-043728 AIDS043728 Pyrazinoic acid ester deriv. tert-Butyl 5-chloropyrazine-2-carboxylate