AIDS-050753 AIDS050753 Prop-2-enyl 2-cyano-1,2-dihydroquinolinecarboxylate