extrahepatic portal hypertension Synonyms