HIV-preventing pre-exposure prophylaxis