Application of a Mechanistic Model to Design RTI Prophylaxis Trials