My husband has trouble falling asleep and would like to try melatonin but we can't find anything on the interaction with ARV medicines he is taking - abacavir/lamivudine and efavirenz?