Using a computer-generated randomisation sequence , we randomly allocated antiretroviral-naive adult patients with HIV-@ and tuberculosis ( aged @ years with a plasma HIV RNA concentration of > @ copies per mL ) to receive raltegravir @ mg twice a day , raltegravir @ mg twice daily , or efavirenz @ mg once daily plus tenofovir and lamivudine ( @:@:@ ; stratified by country ) .