Sara is HIV-negative and wants to become pregnant with her partner Mateo, who is HIV-positive. Which of the following strategies gives Sara the lowest practical risk of acquiring HIV while still allowing conception?

Mateo should stop antiretroviral therapy (ART) and the couple should have unprotected sex only during Sara's fertile days.

Sara should take daily oral PrEP and Mateo should use condoms at all times, including during fertile days.

Sara should take daily oral PrEP and Mateo should use condoms except during Sara's fertile days so they can try to conceive.

Sara should take PrEP only on the days she and Mateo have sex and Mateo should not use condoms on any day.