High-risk alpha-human papillomavirus types: detection in HIV-infected children with acquired epidermodysplasia verruciformis.