4.7 earthquake strikes Mamasa, Indonesia