ابو علی، حسن بن حسن بن الهيثم