C2-symmetric phosphinic acid inhibitors of HIV protease