Toro HR hours after trading sides, but Astros beat Mariners