HIV-1 proteinase complexed with RO 31-8959