Mechanistic Models of Anti-HIV Microbicide Drug Delivery