Using C[P+](c1ccccc1)(c1ccccc1)c1ccccc1, CO[C@@H]1O[C@H](C)[C@H]2C(=O)[C@@H]3CCCC[C@H]3C[C@@H]12 to produce C=C1[C@H]2[C@@H](C[C@@H]3CCCC[C@@H]13)[C@H](OC)O[C@@H]2C, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.