portal venous hypertension Synonyms