Using COC(=O)C=C[C@]12CC[C@@](C(=O)OCc3ccccc3)(CC1)CC2 to produce COC(=O)CCC12CCC(C(=O)O)(CC1)CC2, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.