Using O=C(OI(OC(=O)C(F)(F)F)c1ccccc1)C(F)(F)F, CS(=O)c1ccc(C2=CC(=O)C(C)(C)O2)cc1 to produce CS(=O)c1ccc(C2=C(I)C(=O)C(C)(C)O2)cc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.