Using N#Cc1ccc(C[P+](c2ccccc2)(c2ccccc2)c2ccccc2)cc1, CCC[C@H]1CC[C@H](CC[C@H]2CC[C@H](C=O)CC2)CC1 to produce CCC[C@H]1CC[C@H](CC[C@H]2CC[C@H](C=Cc3ccc(C#N)cc3)CC2)CC1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.