Effects of the change from Stavudine to tenofovir in human immunodeficiency virus-infected children treated with highly active antiretroviral therapy: studies on mitochondrial toxicity and thymic function.