Adoption of HIV pre-exposure prophylaxis among women at high risk of HIV infection in Kenya.