That play actually happened. The B/R was officially credited with a HR but NOT the run scored. The
PR got credit for that.
One would think that once the substitution was made you can't unring the bell. Sort of like waiting for the pinch hitter to be officially announced before changing pitchers.