Short and unexpectedly potent difluorostatone type inhibitors of HIV-1 protease