Gonna disagree. Do not go to HR. HR is there for the company, not for you. They will seek whatever is the fastest, easiest way to resolve things for the company — which probably is not firing a manager.

In case it's not clear, I have not had helpful experiences with HR.