Statistics for Renal safety of lithium in HIV-infected patients established on tenofovir disoproxil fumarate containing antiretroviral therapy: analysis from a randomized placebo-controlled trial