I think this must have been something else. Gallium arsenide is a semiconductor, but apparently it does not occur as a natural mineral.
I'm going on little more than the brief story that appeared in Science Magazine at the time.
It struck me as important since there were few major sources of gallium back then.