Using Cc1nc(C)c([C@H](O)C(=O)OC(C)C)c(N2CCC(C)(C)CC2)c1Br, C=C(C)C to produce Cc1nc(C)c([C@H](OC(C)(C)C)C(=O)OC(C)C)c(N2CCC(C)(C)CC2)c1Br, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.