Substrate-based inhibitors of HIV-1 protease