Using C[C@@H]1O[C@@]1(Cn1cncn1)c1ccc(F)cc1F, O=c1[nH]cnc2cc(Cl)ccc12 to produce C[C@@H](n1cnc2cc(Cl)ccc2c1=O)[C@](O)(Cn1cncn1)c1ccc(F)cc1F, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.