HIV infection and renal transplantation.