AIDS-050718 AIDS050718 Prop-2-enyl 3-acetyl-4-cyano-4H-azinecarboxylate