Marvel’s “Avengers: Doomsday” should be the biggest movie at the box-office in the months ahead, but Doctor Doom is hardly ...