مترجم سخنان امیرالمومنین (ع) که با لقب «ابوالعینک» شناخته می‌شد