Prior to voicing Donkey Kong in 'The Super Mario Bros. Movie', which comedic actor dressed up as the other half of the famous Nintendo duo, Mario?