Marvel reveló el elenco de Avengers: Doomsday , incluyendo a Robert Downey Jr. como Doctor Doom.