(+)-Ketoconazole AIDS-112210 AIDS112210 Piperazine, (+)-1-acetyl-4-[4-[[2-(2,4-dichlorophenyl)-2-(1H-imidazol-1-ylmethyl)-1,3-dioxolan-4-yl]methoxy]phenyl]-