Mathematical approach to understanding HBV infection control and antiviral treatment efficacy in mice | Synapse