Inhibitors of the protease from human immunodeficiency virus: design and modeling of a compound containing a dihydroxyethylene isostere insert with high binding affinity and effective antiviral activity