This study is a placebo-controlled study aimed at assessing the safety of ABX464 administered at 50 mg and 150 mg o.d. versus placebo in HIV infected patients who are treated with darunavir + ritonavir (DRV/RTV) or darunavir + cobicistat (DRV/COBI).