Analysis of the structure of chemically synthesized HIV‐1 protease complexed with a hexapeptide inhibitor. Part I: Crystallographic refinement of 2 Å data