Using COC(=O)[C@H]1CC[C@@]2(C=C(c3cc(-n4ccnc4C(F)(F)F)ccc3OC)CO2)[C@@H]1c1ccc(F)cc1 to produce COC(=O)[C@H]1CC[C@@]2(CC(c3cc(-n4ccnc4C(F)(F)F)ccc3OC)=CO2)[C@@H]1c1ccc(F)cc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.