4(3H)-Quinazolinone, 3-[(1R,2R)-2-(2,4-difluorophenyl)-2-hydroxy-1-methyl-3-(1H-1,2,4-triazol-1-yl)propyl]-7-(2,2,3,3-tetrafluoropropoxy)- AIDS-035130 AIDS035130