Positive Lyapunov exponents for cocycles over time one anosov maps

We prove that in an open and dense set, Symplectic linear cocycles over time one maps of Anosov flows, have positive Lyapunov exponents for SRB measures.