Antiviral and pharmacokinetic properties of C2 symmetric inhibitors of the human immunodeficiency virus type 1 protease