Developing HIV-1 Protease inhibitors through stereospecific reactions in protein crystals