AIDS-009562 AIDS009562 cis-[2-(1,1'-Biphenyl-4-yl)-2-(1H-imidazol-1-ylmethyl)-1,3-dioxolan-4-yl]methanol