The utility of efavirenz-based prophylaxis against HIV infection. A systems pharmacological analysis