AIDS-050743 AIDS050743 Methylethyl 2-cyano-6-nitro-1,2-dihydroquinolinecarboxylate