2-(2,4-Difluorophenyl)-3-(dimethylamino)-1-(1,2,4-triazolyl)butan-2-ol AIDS-112080 AIDS112080