The original DENDRAL team, 25 years later