AIDS-050754 AIDS050754 Prop-2-enyl 2-cyano-6-nitro-1,2-dihydroquinolinecarboxylate