Using CN1[C@H]2CC[C@@H]1[C@@H](C=O)[C@@H](c1ccc(Cl)cc1)C2, ClC[P+](c1ccccc1)(c1ccccc1)c1ccccc1 to produce CN1[C@H]2CC[C@@H]1[C@@H](/C=C/Cl)[C@@H](c1ccc(Cl)cc1)C2, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.