HR is not your friend, but unless your colleague is C-level, HR probably isn't their friend either. Just be mindful of workplace politics - but their behavior is not just toxic, it's radioactive.
If you wanted to take it a step further, you might consider getting a bill for therapy sessions to support a lawsuit. You should probably seek out counsel if you go down that avenue, though.