F-theory and AdS3/CFT2