Therapies in HIV disease: a predictive control approach