Supplemental experimental procedures