He was first named `` Mario '' in the arcade game Donkey PERSON@1 in NUMBER@1 , the only game in which he has ever been portrayed as an antagonist .

He was first named `` Mario '' in the arcade game Donkey PERSON@1 in NUMBER@1 , the only game where he is a villain .
