History of ivermectin