Using Cc1cn([C@@H]2O[C@H](C(O)S(C)(=O)=O)[C@](O)(S(C)(=O)=O)[C@]2(O)S(C)(=O)=O)c(=O)[nH]c1=O, O=C([O-])c1ccccc1 to produce Cc1cn([C@H]2C=C[C@@H](C(O)C(=O)c3ccccc3)O2)c(=O)[nH]c1=O, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.