آیت الله حاج میرزامحمد ثقفی پدر همسر امام خمینی که از خاندان بزرگ علم و فقاهت بود