Non-Markovian Modeling of Protein Folding