HDF4 to HDF5 conversion tools.
