Nonpeptidic HIV protease inhibitors: 6-alkyl-5,6-dihydropyran-2-ones possessing a novel and achiral 3-(2-t-butyl-5-methyl-4-sulfamate)phenylthio moiety