Fermat's Descent Theorem for Fourth Powers