Is HIV infection a risk factor for leprosy?