Structure-based drug design of nonpeptidic P2 substituents for HIV-1 protease inhibitors