Using N[C@H](CNc1nnc(-c2ccc3c(c2)CC(=O)N3)s1)Cc1ccc(C(F)(F)F)cc1, CC(C)=O to produce CC(C)=C1C(=O)Nc2ccc(-c3nnc(NC[C@@H](N)Cc4ccc(C(F)(F)F)cc4)s3)cc21, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.