Using CC[C@@]12CCC(=O)C[C@H]1CCCc1cc3c(cnn3-c3ccc(F)cc3)cc12, C[S+](C)(C)=O to produce CC[C@@]12CC[C@@]3(CO3)C[C@H]1CCCc1cc3c(cnn3-c3ccc(F)cc3)cc12, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.