Otherwise, in a functional workplace report it to a manager/HR.
100% this. The 'functional' part being key, alas. Because HR can very easily not be functional and make one feels even worse when seeing it doesn't change shit to report those bullies.