High resolution structure of HIV-1 PR with TS-126