Text this: Leprosy in a patient infected with HIV.