A Model Predictive Control Strategy Toward Optimal Structured Treatment Interruptions in Anti-HIV Therapy