9,10-Secocholesta-5,7,10-triene-1,3,25-triol, 24,24-difluoro-, (1S,3R,5Z,7E)- AIDS-109013 AIDS109013