AIDS-009563 AIDS009563 trans-[2-(1,1'-Biphenyl-4-yl)-2-(1H-imidazol-1-ylmethyl)-1,3-dioxolan-4-yl]methanol