the rock as mario, mario brothers the movie