portal vein hypertension Synonyms