Treatment of epidermodysplasia verruciformis in human immunodeficiency virus–positive patients