4-Thiazolidinecarboxamide, N-(4-morpholinylacetyl)-3-(1-naphthalenyl)-L-alanyl-L-valyl-(.alpha.S,.beta.S)-.beta.-amino-.alpha.-hydroxybenzenebutanoyl-N-(1,1-dimethylethyl)-, (4R)- AIDS-029857 AIDS029857