There is more at play here in my opinion, that points to why HR definitely should be involved. The behavior exhibited is clearly that of a toxic person to have on staff. If that is how an employee talks about colleagues, it’s only fair that any chance to catch the behavior will be dealt with swiftly. Remember, this is just the only time it was caught. And for all parties involved it is best that it gets dealt with.