AIDS-113346 AIDS113346 Methyl 1-[(3R,5R)-5-(dimethoxymethyl)oxolan-3-yl]imidazole-4-carboxylate