Otto Benzon , den danske författaren,