Products of Halofantrine.