danny devito as doctor robotnik