Who has been played in a movie by both Robert Downey Jr. and Eddie Izzard?