Intrasplenic pressure as index of portal venous pressure.