Using Cc1cn2c(=O)cc(C[P+](c3ccccc3)(c3ccccc3)c3ccccc3)nc2s1, COc1cccc(C=O)c1OCC1CC1 to produce COc1cccc(/C=C/c2cc(=O)n3cc(C)sc3n2)c1OCC1CC1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.