Halo cold dark matter and microlensing.