I am appalled at how many columns about dealing with difficult people at work advise going to HR. Unless HR in your organization has a track record for setting things right and maintaining confidentiality, It’s not likely that anything will be done, and you may get in serious trouble for being there.