The global burden of oral diseases in pediatric HIV-infected populations: a workshop report.