AIDS-113342 AIDS113342 Methyl 1-[(3S,5S)-5-(phenylcarbonyloxymethyl)oxolan-3-yl]imidazole-4-carboxylate