WD 40 is an excellent choice to use after cleaning a barrel: water displacing, and unless the arm is put away for an extended period it works just fine.
I use Burchwood Casey Barricade because it too is water displacing, but is better for long term storage.