Using C[C@H](CCC(=O)O)[C@H]1CC[C@H]2[C@@H]3[C@H](O)C[C@@H]4CC(=O)CC[C@]4(C)[C@H]3CC(=O)[C@]12C to produce C[C@H](C=CC(=O)O)[C@H]1CC[C@H]2[C@@H]3CCC4CC(=O)CC[C@]4(C)[C@H]3CC(=O)[C@]12C, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.