What is the record for the most players traded for a single player in professional baseball?

On December 9, 1982, the Cleveland Indians gave away Von Hayes and received Manny Trillo, George Vukovich, Jay Baller, Julio Franco and Jerry Willard from the Philadelphia Phillies. The Baltimore Orioles copied the Indians in 2008 offseason giving away Erik Bedard and getting Adam Jones, Chris Tillman, Tony Butler, Kameron Mickolio and George Sherrill from the Seattle Mariners.