I've had some bad experiences, but they've mostly because of crap bosses or co-workers who thought they were funny. For the most part, people have been pretty cool to me. I've had the racists co-workers and bosses though, and I've heard some offensive shit over the years.
HR has got to do more in these cases. If it's something that won't stop, they need to address it fast and sort it out. Amazon of all companies should be more serious about problems like this, but then again, it's also Amazon, so they don't always do right.
My best suggestion, is to keep bringing it to HR. At least then you'll have a trail of reports to show. How often has she gone to HR about the situation? If it's just once, they probably won't do much but give the person a warning and not to do it again. But, if they continue, bring it up to HR again. The more times this person is reported, they will have to take action on them eventually, maybe investigate if it's serious enough as well.