Synthesis and pharmacological evaluation of sulfone substituted HIV protease inhibitors