AIDS-025342 AIDS025342 Imidazothiadiazine, oxathiolane Nucl. cis-2-Hydoxymethyl-5-(4'-amino-1'-benzyl-2',2'-dioxo-1'H,5'H-imidazo[4',5'-c][1',2',6']-thiadiazin-5'-yl)-1,3- oxathiolane