Redgrave Theatre, London: correspondence with Bernard Miles and Ian Mullins, artistic director