A model for type I diabetes in an HIV-infected patient under highly active antiretroviral therapy. (February 2022)