Direct summands of infinite-dimensional polynomial rings