1-Methylvinyl 2-cyano-6-nitro-1,2-dihydroquinolinecarboxylate AIDS-050752 AIDS050752