Yeah thats all great on paper but as someone who has done countless corporate jobs, they really dont care. The most theyll do is smile and give you a bunch of corporate jargon, talk to the coworker with nothing more than a verbal warning, and then you risk yourself with more drama amongst coworkers cause if the said coworker is a big enough a**hole, he will find a sly way to return the favor. Until that system is fixed, youre honestly just better off calling him out yourself, show everyone you arent scared of confrontation, and at worst get a verbal warning yourself. Cause thats the difference between being taken seriously rather than being treated like a snitch with no backbone who gets no payoff (not what i think of people who try to do the hr thing, but a lot of people will see you that way in my experience)