Low-temperature dynamic nuclear polarization at 9.4 T with a 30 mW microwave source.