Discovery and optimization of nonpeptide HIV-1 protease inhibitors.