Well, the poll is wrong, King Crimson is #1 of the mainstream prog bands.
Of course, there’s always non-mainstream.....
Gentle Giant.