Allen was traded from Oakland to St. Louis on Tuesday in exchange for Carlos Guarate.
Allen owns a career .195/.252/.288 slash line in 57 career major-league games, five of which came this year. He'll likely serve as organizational depth for his new team.