AIDS-009565 AIDS009565 trans-[2-(1,1'-Biphenyl-4-yl)-2-(1H-imidazol-1-ylmethyl)-1,3-dioxolan-4-yl]methyl methanesulfonate