Modelling HIV virulence evolution in the context of immune escape