Using COC[P+](c1ccccc1)(c1ccccc1)c1ccccc1, Cn1c(C2CC(=O)C2)nc2ccc(Br)cc21 to produce COC=C1CC(c2nc3ccc(Br)cc3[nH]2)C1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.