A tool for converting HDS-based JSON into FHIR JSON