(2R, 3R)-2-(2,4-Difluorophenyl)-3-(4-methylenepiperidyl)-1-(1,2,4-triazolyl)butan-2-ol AIDS-112165 AIDS112165 KP-103