1H-Imidazole, 1-[[(4S)-2,2-dimethyl-1,3-dioxolan-4-yl]methyl]-2-methyl-4-nitro- AIDS-210143 AIDS210143