Inhibitors of the protease from human immunodeficiency virus: synthesis, enzyme inhibition, and antiviral activity of a series of compounds containing the dihydroxyethylene transition-state isostere