Compound of the following formula are disclosed as prodrugs of HIV protease inhibitors. Methods and compositions for inhibiting the HIV protease activity, to treat HIV infection are also disclosed.下記式の化合物が、HIVプロテアーゼ阻害薬のプロドラッグとして開示される。HIVプロテアーゼ活性を阻害し、HIV感染を治療するための方法および組成物も開示される。