The investigators plan a four week, randomized, placebo-controlled, double-blind study. In group 1, efavirenz will be replaced with efavirenz placebo plus raltegravir, in group 2, efavirenz would be continued, and raltegravir placebo given in addition. After two weeks, patients in group 1 would switch to the regimen of group 2, and vice versa.