Synthesis of irreversible HIV-1 protease inhibitors containing sulfonamide and sulfone as amide bond isosteres