Home- and clinic-based pediatric HIV index case testing in Kenya: Uptake, HIV prevalence, linkage to care, and missed opportunities.