Using O=Cc1ccc(Br)cc1, Brc1cccc(C[P+](c2ccccc2)(c2ccccc2)c2ccccc2)c1 to produce Brc1ccc(/C=C/c2cccc(Br)c2)cc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.