The evolution of virulence in sexually transmitted HIV/AIDS