محله پامنار (ارگ-پامنار), مصطفی خمینی, مصطفی خمینی، امامزاده یحیی، تهران