Design, synthesis, and X-ray structure of substituted bis-tetrahydrofuran (bis-THF)-derived potent HIV-1 protease inhibitors