Biochemical deficiencies of coenzyme Q10 in HIV-infection and exploratory treatment