AIDS-211777 AIDS211777 Formamide, tricyclo[3.3.1.1]dec-1-yl-