Identifying optimal combination regimens for therapy of Mycobacterium tuberculosis with an algorithmic approach: prospective predictions and validations | Synapse