Robert Downey Jr Will Do Iron Man 4′ If Mel Gibson Directs