This is what I was going to suggest. His cloak is humor. If you call him out directly at work he'll swear he was just joking and sheesh don't you have a sense of humor (he will minimize and ridicule you) and he'll do the same if you go to your boss. Human resources are there to protect the company interests and don't give a flying flip about you, never forget that. You are big and strong and he can play the "I'm intimidated" card...pvssies do this sometimes.
So kill him with kindness. Ask him about personal things, what is he up to this weekend, does he want to join you at happy hour for a drink...be collegial not confrontational. I'm not the least bit fearful about conflict, but sometimes it's not your best tactic. You know how the guy who hits back on the playground gets in trouble more frequently than they guy who started the fight? You gotta outfox the dude. Right now you are too ticked to be cunning. Time to be more cunning.
Listen, I'm a chick telling you this. I'm not going to overpower much of anybody. But I can dam sure outsmart people. And I can neutralize people through kindness and inclusion. I've made a career doing exactly that where necessary. Aggressive behavior or conflict (which many yellow bellies in the workplace cannot tolerate as it creates discomfort) does you more harm than good. Befriend the guy. That's your best bet to neutralize him.
Keep your friends close...but keep your enemies closer -Sun Tzu
And if you have to "punk him out" as
@Macaframalama suggests, you do it as publicly and with as much humor as you can...in other words you beat him at his own game should it come to that. But also realize if it DOES come to that the guy will hate you and scheme against you endlessly. Befriending him is a much better option if you can set aside your own ego.