What If Robert Downey Jr. Isn't Really Avengers 4's Dr. Doom? Here's How It Could Happen