polycythemia rubra vera Synonyms