1,4-Dideoxy-1,4-(butyliminiumyl)-D-arabinitol AIDS-043342 AIDS043342 D-Arabinitol, 1,4-Bu-N cyclic deriv.