ABC code for running HIV model