Hepatocellular carcinoma in HIV patients treated by liver transplantation.