Novel HIV01 protease inhibitors containing A β-hydroxy sulfide isostere.