Using COC(=O)c1ccc(C2(NC(=O)c3cc(F)cc4ccn(Cc5ccc(C(F)(F)F)cc5)c34)CC2)cc1 to produce O=C([O-])c1ccc(C2(NC(=O)c3cc(F)cc4ccn(Cc5ccc(C(F)(F)F)cc5)c34)CC2)cc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.