AIDS-028380 AIDS028380 Imidazothiadiazine, oxathiolane nucl. trans-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