The boosting of didanosine by allopurinol permits a halving of the didanosine dosage