Analytic Hypoellipticity and the Treves Conjecture