Modelling and control of HIV dynamics