What was the outcome of the report to HR?

I think if you work somewhere that this is the result, you're unlikely to have much progress challenging anything directly. In order to actually have change you need to be able to challenge and stamp out these sorts of behaviours.