Elliptic curves over totally real quartic fields not containing √5 are modular