At a previous job, several us did go to HR with complaints about another coworker over body odor complaints. It was seriously bad enough that you could smell this individual from over 50 feet away. It was nauseating and was hurting the productivity of everyone around them.

This individual was a foreign national working in the US for the first time. My understanding was that HR took the individual aside in a private meeting and explained there were issues about their hygiene and arranged for them to attend some sort of cultural acclamation course that addressed things about cultural and workplace expectations.

We weren't looking for the individual to be disciplined or anything, but we certainly needed to be able to sit in our cubes without our sinuses being assaulted and our eyes watering.