A stochastic model of AIDS and condom use