Olympiodorus, Diaconus, 5th/6th cent.