AIDS-059082 AIDS059082 Imidazo[2,1-b]benzoxazole, 4a,5,6,7,8,8a-hexahydro-2-nitro- Nitroimidazole derivative