Unexplained severe portal hypertension in HIV-infected patients: a new clinical entity?