It's very rare for someone to be so overtly sexist that the HR department can intervene. Usually, there's some doubt for the harasser to receive the benefit of. And besides that, how would that affect her reputation if she turns into "the complainer who got Joe fired"?