Nel 1995 venne approvato il saquinavir, capostipite della classe degli inibitori della proteasi, i quali da allora vennero implementati negli schemi terapeutici ed utilizzati assieme alla duplice terapia, con risultati ancora migliori sotto il profilo della conta dei CD4 e della mortalità: a partire dalla seconda metà degli anni '90 si iniziò quindi a definire questo approccio terapeutico basato sull'uso di almeno tre farmaci ""Highly Active AntiRetroviral Therapy", o HAART, differenziandolo dalla terapia antivirale generica (che da allora viene definita "AntiRetroviral Therapy"", ART).