Progressive pulmonary hypertension in children with portal hypertension.