Manifest (4,0) supersymmetry, sigma models and the ADHM instanton construction