Using COC[P+](c1ccccc1)(c1ccccc1)c1ccccc1, COC(=O)C1CCC(C=O)CC1 to produce C=CC1CCC(C(=O)OC)CC1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.