Space-bounded derandomization