Why do you need an arduino at all? You can use a transistor to invert the signal from the hall effect sensor and light the red LED.
Then if you want the sensor reading by a controller a Uno with a few port expander will do the job.
Also the data sheet says that the hall sensor takes 4.4mA typically and 9mA maximum. Nowhere close to your 20mA.