HR should also be on your side there too because, at least in my company, HR is almost entirely staffed by women. So they quite possibly have their own experiences with sexism in the workplace and won't simply dismiss the problem.