A multiscale systems pharmacology framework to assess the prophylactic utility of antivirals against HIV-1