100-year-old Greenland shark that washed up on UK beach had brain infection, autopsy finds