Sheldon Richardson seems like he's more of a penetrating 4-3 DT. He is very talented though, and would likely contribute in any scheme.
What about Jonathan Jenkins? Is he too big? I haven't really had the chance to watch him play.
The Dline that I am the most interested in at this point are probably
Jonathan Hankins (Niners would have to trade up too high though)