Design and Synthesis of HIV-1 Protease Inhibitors Featuring a Bicyclic Hexahydropyrrolofuran Scaffold