Pharmacokinetics and Pharmacodynamics of the Reverse Transcriptase Inhibitor Tenofovir and Prophylactic Efficacy against HIV-1 Infection