Erythema nodosum leprosum and HIV infection: A therapeutic experience.