Minisuperspace and Wheeler-DeWitt equation for string dilaton cosmology