Gravar-mail: Observation of a tetrahedral reaction intermediate in the HIV-1 protease–substrate complex