Using C=C(C(=O)c1cc(-c2cccc(C)c2)cs1)C(C)C, CS(=O)(=O)O to produce Cc1sc2c(c1-c1ccccc1)CC(C(C)C)C2=O, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.