A placebo-controlled trial of lamotrigine for painful HIV-associated neuropathy