Potent HIV protease inhibitors: the development of tetrahydrofuranylglycines as novel P2-ligands and pyrazine amides as P3-ligands.