first documented condom