The holographic dual of AdS3 × S3 × S3 × S1