danny devito as mario