Sangen om den røde rubin av Agnar Mykle