dwayne the rock johnson as mario