If this man has form of making inappropriate comments, then it is possible this comment was made in the way the OP interpreted it. No one here knows, because we weren't there.
Still, raising a formal complaint with HR is, in my opinion, a massively disproportioned reaction which will bring OP nothing good. A man making a dirty comment does not warrant a complaint being upheld.
The OP could have looked directly at the man and said something like: "Dave, this is not the first time I hear you making these kind of unwanted, unpleasant comments to other women. I want you to know I know what you're doing, I don't like it and next time it happens I will bring this up with HR".
This way the OP would have isolated the behaviour, expressed that it is not aceptable to her and that she does not want it repeated in her presence. Then, if similar comments happen in the future, she would have a leg to stand on regarding a complaint.
As the situation developed, in my opinion she has made a mountain out of a molehill, placed herself as "the problem maker" and suffered massive distress and personal anguish over a minor rude comment.
I am going to guess the OP is a Gen Z, because this situation has happened in similar ways with Gen Zers in my place of work who seem unable to tolerate the tiniest perceived criticism, rudeness or negative feedback and want the person to be basically dragged through the mud, or taken to the employment tribunal because they happened to roll their eyes at them once and triggered their mental health issues.
Part of being an adult, or "adulting", as this generation likes to call it, is choosing how much you are going to let a small encounter/event affect your and others' lives. A person being rude to you once is not harassment. A person making an uncomfortable comment once is not sexual abuse. A person rolling their eyes at you once is not bullying. It's a one-off event, an uncomfortable social interaction between 2 adults. It can be dealt with effectively by yourself without requiring the whole company getting involved.
If and when it becomes a pattern that shows you (or a colleague) are indeed been targeted and it is persistent, specific to the person and malicious, THEN it is definitely a case of raising a complaint.
The massive issue OP has turned this non-event into is, honestly, ridiculous.