This. This so much!
My mother worked in the oil industry in the 70s and 80s, and these are the exact things she would say. (talk about male-dominated industry!)
Heading off to HR only sweeps the conflict under a bureaucratic rug and never really deals with the problem effectively.
Todays office culture is so toxic, and I fear it will get worse as "trigger warning" and "safe places" graduate from college campuses to the workplace.
Rather, just be a stronger person and call out the bastard to is acting the fool.