AIDS-134445 AIDS134445 Castanospermine, 6-deoxy- NSC632386 Octahydro-1,7,8-indolizinetriol