Hybrid optimal control for HIV multi-drug therapies: a finite set control transcription approach.