Thor, Hulk among MLB players with Avengers nicknames