Modelling the Mutation Process in the HIV Genome