Adding Jose Martinez helps Tampa Bay’s lineup, while St. Louis lands a top pitching prospect — and might not be done yet.