INS and diabetes mellitus: In Silico Hypothesis Testing in Drug Discovery: Using Quantitative Systems Pharmacology Modeling to Evaluate the Therapeutic Value of Proinsulin Conversion to Insulin Therapy for Type 2 Diabetes Mellitus