Splenectomy in patients with hepatocellular carcinoma and hypersplenism.