I seem to recall they were called Fever (red guy), Chill (blue guy) and Weird (yellow guy) in a really old Mario comic I had back in the day, but those tags don't seem to exist on Danbooru. They really don't have enough art to warrant their own tags, though. Dr. Mario should suffice.