The invention relates to compounds of the formula I, ##STR1## in which R.sub.1 and R.sub.2 are, independently of each other, lower alkyl or lower alkoxy-lower alkyl; R.sub.3 and R.sub.4 are, independently of each other, sec-lower alkyl or tert-lower alkyl; R.sub.5 is phenyl or cyclohexyl; and R.sub.6 and R.sub.7 are, independently of each other, lower alkyl, or, together with the linking nitrogen atom, pyrrolidino, piperidino, 4-lower alkylpiperidino, 1,2,4-triazol-1-yl or 1,2,4-triazol-4-yl; or a salt thereof, provided that at least one salt-forming group is present. These compounds are inhibitors of HIV protease and are therefore suitable, for example, for treating AIDS or its preliminary stages.

Вымысел относит к смесям формулы iego, ## ## STR1 в котором R.sub.1 и R.sub.2 будут, независимо себя, более низкого алкила или более низкого болееnizkogo алкила; R.sub.3 и R.sub.4 будут, независимо себя, болееnizkogo алкила или болееnizkogo алкила; R.sub.5 фенилово или циклогексильно; и R.sub.6 и R.sub.7 будут, независимо себя, более низкого алкила, или, together with соединяя атома, pyrrolidino, piperidino, alkylpiperidino 4-lower, 1,2,4-triazol-1-yl или 1,2,4-triazol-4-yl азота; или соль thereof, provided that по крайней мере одна salt-forming группа присутствует. Эти смеси будут иами АБС битор протеазы hiv и поэтому целесообразны, например, для обрабатывать AIDS или свои предварительные этапы.