An oto, a snail, and/or another ADF. If you think he'd go after guppies, he'd probably also go after tetras. Maybe a few white cloud mountain minnows, since they're less vibrantly colored and the betta might not mind them, plus they can get out of the way better than a tetra or guppy can (about 3, since they like groups).