HIV infections among female sex workers in Mombasa, Kenya: current prevalence and trends over 25 years. (December 2020)