Hybrid stochastic framework predicts efficacy of prophylaxis against HIV