Statistics for Isoniazid preventive therapy in HIV infected children on antiretroviral therapy living in a high tuberculosis prevalence area a randomized controlled trial