Original: He was first named "Mario" in the arcade game Donkey Kong Junior in 1982, the only game in which he has ever been portrayed as an antagonist.
Simplified: He was first named "Mario" in the arcade game Donkey Kong Junior in 1982, the only game where he is a villain.