Crystal structure of HIV-1 protease complexed with a product of autoproteolysis