Structure-Based Design and Synthesis of Substituted 2-Butanols as Nonpeptidic Inhibitors of HIV Protease: Secondary Amide Series